Terence Tao: The Erdős Discrepancy Problem